Nuprl Definition : filter
11,40
postcript
pdf
filter(
P
;
l
) == reduce((
a
,
v
. if
P
(
a
) then cons(
a
;
v
) else
v
fi ); [];
l
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
f
(
a
)
,
cons(
car
;
cdr
)
,
[]
FDL editor aliases
filter
origin
a,v. if P(a) then cons(a; v) else v fi ); []; l) a,v. if P(a) then cons(a; v) else v fi ); []; l) x.A(x)